Smart Contract Engineering
نویسندگان
چکیده
منابع مشابه
Scilla: a Smart Contract Intermediate-Level LAnguage
This paper outlines key design principles of Scilla—an intermediatelevel language for verified smart contracts. Scilla provides a clean separation between the communication aspect of smart contracts on a blockchain, allowing for the rich interaction patterns, and a programming component, which enjoys principled semantics and is amenable to formal verification. Scilla is not meant to be a high-l...
متن کاملEngineering Smart Windows Using Arduino
The Window, a common household feature has great potential to become an automated system implemented in homes across the globe. In this project we designed and constructed a prototype of a marketable Smart Window utilizing the Arduino microcontroller. This open-source platform allowed us to use a variety of sensors to evaluate internal and external conditions and adjust the settings of a room a...
متن کاملSmart Contract-Based Access Control for the Internet of Things
This paper investigates a critical access control issue in the Internet of Things (IoT). In particular, we propose a smart contract-based framework, which consists of multiple access control contracts (ACCs), one judge contract (JC) and one register contract (RC), to achieve distributed and trustworthy access control for IoT systems. Each ACC provides one access control method for a subject-obj...
متن کاملLearned in Smart Environments Engineering
During the last few years we have developed different smart environments and artifacts by creating devices or extending existing ones to make them smart. In this paper we will show some of the projects developed at the Telekooperation Group. Throughout those examples we show how we have been developing ubiquitous computing aplications by empowering users with new interactions means and extendin...
متن کاملSmart Contract SLAs for Dense Small-Cell-as-a-Service
The disruptive power of blockchain technologies represents a great opportunity to re-imagine standard practices of providing radio access services by addressing critical areas such as deployment models that can benefit from brand new approaches. As a starting point for this debate, we look at the current limits of infrastructure sharing, and specifically at the Small-Cell-as-a-Service trend, as...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronics
سال: 2020
ISSN: 2079-9292
DOI: 10.3390/electronics9122042